{} ⩓ { a : Bool }
